f()
	goto label1;
	return -1;
	label1: return 1;
	label2: return 2;
	label3: return 4;
	return -1;
end;

g()
	goto label2;
	return -1;
	label1: return 1;
	label2: return 2;
	label3: return 4;
	return -1;
end;

h()
	goto label3;
	return -1;
	label1: return 1;
	label2: return 2;
	label3: return 4;
	return -1;
end;

i()
	goto do;
	label1: return 1;
	label2: return 2;
	label3: return 4;
	do: goto label1;
	return -1;
end;

j()
	goto do;
	label1: return 1;
	label2: return 2;
	label3: return 4;
	do: goto label2;
	return -1;
end;

k()
	goto do;
	label1: return 1;
	label2: return 2;
	label3: return 4;
	do: goto label3;
	return -1;
end;

